1. Formal Specification Using Z
پدیدآورنده : / David lightfood,Lightfoot
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه تهران (طهران)
موضوع : Z (Computer Program language),Formal languages
رده :
QA
76
.
73
.
Z2L5
1991